> to "CONFIG_PAGING_LEVELS >= 3", maybe I forgot to include some
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 2 Aug 2005 11:20:12 +0000 (11:20 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 2 Aug 2005 11:20:12 +0000 (11:20 +0000)
commit9948ce525944f55d3dd045363a3b1ae6cd8efdc9
treef04dc930c926ea5df5d967834fa7b8380225cff9
parent5f5202f471536a511cacbac62c50dfbc5d4eea99
> to "CONFIG_PAGING_LEVELS >= 3", maybe I forgot to include some
> into the patch ...

Yep, I did, shadow_public.c bits are missing, sorry for trouble.

  Gerd
xen/arch/x86/shadow_public.c